let (_ : exn & (Failure _) | _) = exn ()